createApplication (var:vars)
 = createApplication' (Typ (HsTyVar (nameToTypePNT var))) vars
createApplication (var:vars)
 = createApplication' (Typ (HsTyVar (nameToTypePNT var))) vars
createApplication (var:vars)
 = createApplication' (Typ (HsTyVar (nameToTypePNT var))) vars