Leaving just FUnctional for requirement types