手続き型は手続き型同士、関数型は関数型同士、論理型は論理型同士なら応用効くが
手続き型と論理型なんかはあんまり応用効かないかと。