single-constructor data family bind ok
