T = a => b => a

F = a => b => b
